🔗 Category Theory - abnv · Scour

abelianization of an additive category in nLab

ncatlab.org·13h

🧩Monadic Parsing

Unification of Deterministic Higher-Order Patterns

arxiv.org·1d

🔗Unification Algorithms

**Random Combination:** Combining Closure Operads (a branch of category theory dealing with higher-dimensional generalizations of closures) with Topological ...

freederia.com·2d

🧮Combinator Calculus

Kolmogorov Complexity

en.wikipedia.org·17h·

Discuss: Hacker News

λLambda Calculus

Taxonomies and Thesauri Catalog

jessicatalisman.substack.com·4h·

Discuss: Substack

🗂️Term Indexing

Reflexive graph lenses in univalent foundations

arxiv.org·1d

🔍Lens Libraries

Building a mini PyTorch in C++ from scratch as a high school student...

dev.to·16h·

Discuss: DEV

Subterms Modulo Theories I

philipzucker.com·3d

🔗Lexical Scoping

Reals, Complex, Quaternions and Octonions

nigelvr.github.io·2d·

Discuss: Hacker News

🧮Linear Algebra

Show HN: QRY – Natural Language to SQL Using Claude Code/Codex CLI

news.ycombinator.com·12h·

Discuss: Hacker News

📋Souffle Datalog

Calculus Made Easy

calculusmadeeasy.org·14h

Binary Algorithms

exystence.net·1d

📡Binary Protocols

Gödel’s Theorems (and logicisms) revisited

logicmatters.net·2d

📜Proof Languages

Generalized Statistics on Lattices

link.aps.org·22h

🔶Lattice Theory

Datomic - Datomic at Clojure/Conj 2025

blog.datomic.com·1d

🌲Deforestation

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·13h·

Discuss: Hacker News

🪢Rope Data Structures

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·17h

🏗️Cranelift

Designing Boring Software with Functional Programming

agentultra.com·1d

🪞Homoiconicity

On Learning Elixir

denvaar.dev·1d

🚂Error Propagation

Making a Language

thunderseethe.dev·7h

🔬programming language theory

Loading more...